Regular conditional probability